<?php

interface Page {
	function display();

	function push();

}

?>
